On the Diierence between Abduction and Induction: a Model Theoretic Perspective

In this paper, we show how an appropriate possible world semantics exhibits the fundamental diierences between various forms of logical reasoning such as deduction, abduction and induction. The ensuing model theoretic formal-isation provides a solid foundation for exact further discourse on the issue, such as deciding whether a particular instance of reasoning should be classiied as abduction or rather as induction.